euclid's division lemma